Введение в логику

Введение в логику Введение в логику

Год выпуска: 2014
Страна: Казахстан
Производитель: Hexlet
Сайт производителя: https://hexlet.org
Автор: Роман Добровенский, Рахим Давлеткалиев
Продолжительность: 02:18:00
Тип раздаваемого материала: Видеоурок
Язык: Русский
Описание: Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского. Раздача содержит слайды к лекциям в формате PDF.
Классическая логика является формальной основой для 99% современной математики. Не смотря на то, что логика вроде бы как-то стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения. Доказательство их в курсе так же надеюсь будет приятным занятием.
Математическая логика в современном мире является довольно базовым знанием, которое в скором времени скорее всего будут преподавать во всех школах. Простой пример: любая база данных является множеством, а пользователь, задавая вопрос базе данных, на самом деле на специализированном языке формулирует предикат. Эту операцию выполняет часто и продвинутый бухгалтер и юрист, и финансист, только они чаще всего не знают слов типа "подмножество" и "предикат". Понимание логики и теории множеств может здорово упростить им работу, если они захотят более подробно изучать работу с базами данных (что не сложно). Можно привести более сложные примеры с языками программирования, но это уже в общем-то дебри относительно нашего курса, поэтому не будем углябляться. Просто скажем, что все же эти знания пусть и не в чистом виде, но могут оказаться полезны.

Содержание

• 1. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
• 2. Представление функций через базовые операции.
• 3. Рассматриваем решение "Самой сложной логической задачи"
• 4. Предикаты, кванторы, множества и подмножества.
• 5. Рассматриваем систему математических доказательств.
• 6. Парадоксы классической логики и заключение.

MI
General
Complete name : Logic Lecture 5.mov
Format : MPEG-4
Format profile : QuickTime
Codec ID : qt
File size : 226 MiB
Duration : 35mn 25s
Overall bit rate : 891 Kbps
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25
Writing library : Apple QuickTime
com.apple.quicktime.make : Apple
com.apple.quicktime.model : MacBookPro6,2
com.apple.quicktime.software : Mac OS X 10.9 (13A603)
com.apple.quicktime.creationdate : 2014-02-04T20:51:54 0600
Video
ID : 1
Format : AVC
Format/Info : Advanced Video Codec
Format profile : Main@L4.1
Format settings, CABAC : Yes
Format settings, ReFrames : 2 frames
Codec ID : avc1
Codec ID/Info : Advanced Video Coding
Duration : 35mn 25s
Bit rate : 663 Kbps
Width : 1 920 pixels
Height : 1 080 pixels
Display aspect ratio : 16:9
Frame rate mode : Variable
Frame rate : 12.927 fps
Minimum frame rate : 2.500 fps
Maximum frame rate : 60.000 fps
Color space : YUV
Chroma subsampling : 4:2:0
Bit depth : 8 bits
Scan type : Progressive
Bits/(Pixel*Frame) : 0.025
Stream size : 168 MiB (74%)
Title : Core Media Video
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25
Color primaries : BT.709
Transfer characteristics : BT.709
Matrix coefficients : BT.709
Audio
ID : 2
Format : AAC
Format/Info : Advanced Audio Codec
Format profile : LC
Codec ID : 40
Duration : 35mn 25s
Source duration : 35mn 25s
Bit rate mode : Constant
Bit rate : 224 Kbps
Nominal bit rate : 256 Kbps
Channel count : 1 channel
Channel positions : Front: C
Sampling rate : 48.0 KHz
Compression mode : Lossy
Delay relative to video : 611ms
Stream size : 56.8 MiB (25%)
Source stream size : 56.8 MiB (25%)
Title : Core Media Audio
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25